type u = (int * int)
type t = K : u -> t
let f (x) = 
  match x with
  | K ((y, z)) -> y
  end
